宁波承接国际生产性服务外包的SWOT分析

服务外包已经成为经济全球化背景下的一种新型产业组织模式,而服务业尤其是生产性服务业的发展水平已经成为衡量一个国家或地区产业结构高级化程度的重要标志。在产业转移趋势不断加强的背景下,研究我国如何承接国际生产性服务外包,具有战略意义。本文基于服务外包的相关理论,结合宁波承接国际生产性服务外包的SWOT分析,提出了宁波承接国际生产性服务外包的对策。     

一种处理复杂变更事务的过程变更日志清洗算法

为了抽取工作流过程变更的有效信息,基于变更事务组织的变更日志,讨论了复杂变更事务中主变更 (primary changing) 操作和伴随变更(concomitant changing)操作的关系问题,并在变更事务中主变更确定情况下对伴随变更操作进行修正,以消除主变更操作相互抵消后,其伴随变更带来的隐藏影响。在此基础上提出了去除变更日志中不相关信息和噪声的具体方法。最后根据提出的算法求解了一个包含复杂变更事务的变更日志清洗问题,并搭建实验原型,以一个实验说明了该方法的正确性和有效性。     

SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

虚拟样机协同设计并发控制策略研究 *

针对虚拟样机协同设计中数据量大、事务长、多层嵌套的问题 ,提出了一种基于事务语义的并发控制策略,阐述了并发控制机制中事务结构、事务提交、锁机制和冲突协调等关键性问题。根据数据要求生成复制事务,事务发生改变后 ,其他站点能够实时显示图形、实时读取数据。实例证明 ,基于事务语义的并发控制策略保证协同用户自由地操作共享资源 ,提高了并发控制的可靠性和数据的一致性。     

一种基于事务规则树的高效关联规则挖掘算法*

提出了基于事务规则树改进的关联规则快速挖掘算法--FG算法.该算法不需要查找频繁项集,可直接求出所有无冗余的关联规则;将FG算法与其他算法进行实验比较,结果表明,FG算法在效率上优于其他算法,是有效的、可行的关联规则挖掘算法.     

双轨制下中长期交易电量放开规模测算方法

随着中长期交易电量规模持续扩大,交易结果不断挤压系统可调度空间,威胁着系统安全运行,且大量交易结果可能由于电网运行约束被削减,容易引发市场成员对市场公平性的质疑.因此,探究中国计划电量与市场电量"双轨制"下的中长期交易电量放开规模,既有助于明确电力市场的演变态势,又有利于实现电网运行安全和经济效率的统筹优化.文中提出了中长期交易电量放开规模测算方法,该方法兼顾市场化电量出清优化与电网运行安全,构建一个考虑市场经济效益和电网运行约束的双层优化模型.上层为以社会福利最大为目标的市场化电量优化出清模型,下层为考虑输电线路传输容量、系统供热需求、机组检修安排、电厂最小开机方式等电网运行约束的市场化电量校核模型.针对该双层优化模型,提出上下层迭代算法进行求解,并将市场化电量执行约束松弛化处理,以保证模型的可解性.中国某省级电网的实际算例分析验证了所提模型与算法的有效性和实用性.     

智能合约技术下微电网群电能分布式交易模型

配电网中大量独立决策的微电网参与电力市场竞争,使传统集中化交易模式面临决策耗时长、信任成本高和隐私安全等问题。针对这种情况,文章提出智能合约技术下的微电网群电能分布式交易模型。首先,构建了一个适应于电能参与分布式交易的电能交易谈判市场智能合约模型,以保障参与用户的利益。其次,为实现配电网的安全运行,提出了适用于智能合约的网络安全约束方法。最后,针对该交易模型改进了区块链的链下扩容架构,以保障区块链计算能力,同时确保所有历史数据存储的安全性和可追溯性。该方法在IEEE 33节点网络上进行了测试,结果表明所提电能分布式交易模型不会违反网络约束,并且市场参与主体能从交易中获利。     

基于绿色证书交易机制的含风电场电力系统动态环境经济调度

为了促进风电消纳以及提高电力系统的经济性,构建基于绿色证书交易机制的含风电场电力系统多目标动态环境经济调度（DEED）模型,提出一种基于反向学习混沌搜索的OLCS-MOEA/D算法的DEED调度求解方法。首先,采用广义反向学习初始化种群提高种群多样性,并引入基于Logistic映射的混沌搜索算法以增强算法局部搜索能力。然后,为了验证算法的性能,采用标准测试函数F1—F7进行测试,同时将该算法对模型进行求解,获得了比其他算法范围更广和分布均匀的Pareto解集前沿。最后,对基于绿色证书交易机制的动态环境经济调度与传统动态环境经济调度进行结果对比分析,通过仿真算例验证该模型和算法的有效性和优越性。     

基于OT的多方匿名身份查询协议

多方数据源的隐私信息安全检索是网络安全中亟待解决的问题,不经意传输技术的特点是能够保证各个参与方的数据安全,因此将不经意传输技术与密码学中的同态密码及对称密码相结合,设计了一种多方数据源匿名查询协议。首先,基于不经意传输的思想设计了一种三方匿名查询协议,给出了协议的模型及协议的具体流程。其次,对协议的正确性与安全性进行了证明与分析。最后,将三方匿名查询协议扩展到多方查询协议,并将其应用于数字产品交易中黑名单用户的验证,解决了在网络安全交易过程中买家用户恶意交易问题。实验数据表明,该算法在保证各方数据安全的情况下查询结果正确且效率高。     

基于赋权交易模型的区块链技术的档案管理研究

为了保障电子档案管理的安全性,基于赋权交易模型的区块链技术对档案管理进行研究。首先建立一个基于区块链技术的框架,具有通用性、易维护性和易搭建性等特点;然后,由于UTXO模型没有解决非确定数值的交易,故针对档案特性对区块链交易中使用的UTXO模型进行改进,提出ET(赋权交易)模型;由于档案管理需要高成本以及高时效性,故采用Fabric的联盟链作为区块生成的方法,以此来降低成本、提高性能。仿真实验结果表明,基于赋权交易模型的区块链技术大大提升了档案管理的稳定性及可用性。